4-valued Reasoning with Stratified Bilattices
نویسنده
چکیده
Since [5], 4-valued logic is known to be a useful tool to capture the human reasoning: it is paraconsistent, can treat incompleteness and inconsistency of information etc. In this paper, I propose a 4-valued reasoning system with stratified bilattices of [12]. It inherits desirable formal properties of 4-valued logic, and further realizes a certain kind of default reasoning and truth maintenance system with a simple, lucid LK-style calculus without esoteric, exotic 4-valued operations in [6, 7, 2, 3] etc.
منابع مشابه
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations
We propose a family of intuitionistic bilattices with full truth-knowledge duality (D-bilattices) for a logic programming. The first family of perfect D-bilattices is composed by Boolean algebras with even number of atoms: the simplest of them, based on intuitionistic truth-functionally complete extension of Belnap’s 4-valued bilattice, can be used in paraconsistent programming, that is, for kn...
متن کاملThe Logical Role of the Four-Valued Bilattice
In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras .
متن کاملThe Value of the Four Values
In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras. Speciically, w...
متن کاملCombining Explicit Negation and Negation by Failure via Belnap's Logic Combining Explicit Negation and Negation by Failure via Belnap's Logic
This paper deals with logic programs containing two kinds of negation: negation as failure and explicit negation, allowing two diierent forms of uncertainty reasoning in the presence of incomplete information. Such programs have been introduced by Gelfond and Lifschitz and called extended programs. We provide them with a logical semantics in the style of Kunen, based on Belnap's four-valued log...
متن کاملBitopology and Four-valued Logic
Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...
متن کامل